منابع مشابه
Translating Event-B machines to Eiffel programs
Formal modelling languages play a key role in the development of soware since they enable users to prove correctness of system properties. However, there is still not a clear understanding on how to map a formal model to a specic programming language. In order to propose a solution, this paper presents a source-to-source mapping between EventB models and Eiel programs, therefore enabling the...
متن کاملgrammatical adjustments in translation from english into persian by iranian students
بمنظور مشخص نمودن ارتباط میان برخی از ساختارهای دستور زبان انگلیسی و میزان دشواری این ساختارها در ترجمه سولات تحقیق و فرضیات صفر بشرح ذیل مطرح گردید: 1 - آیا دانشجویان ایرانی مشکلاتی در ارتباط با سازش دستوری در ترجمه از زبان انگلیسی به زبان فارسی دارند؟ 2 - آیا رابطه ای بین فرمهای دستوری زبان انگلیسی و میزان دشواری این فرمها در ترجمه از زبان انگلیسی به زبان فارسی وجود دارد؟ فرضیه 1 : دانشجویان ...
15 صفحه اولtranslation of collocations from english into persian, based on ghazalas theory
غزالا همایندها را به صورت ترکیبی از دو یا چند واژه که همواره در متون مختلف زبان ها همراه با هم می آیند تعریف می نماید. از دیدگاه او روند رو به رشد میل به ترجمه ی همایندها در مطالعات ترجمه، به دلیل اهمیت آنها در انسجام ساختار زبان است. این پایان نامه اساسا به ترجمه ی همایندها منحصر شده است. هدف آن بررسی کاربرد راهکارهای غزالا در مورد ترجمه ی همایندها از انگلیسی به فارسی است. هدف دیگر آن یافتن پر...
15 صفحه اولSystematic Translation Rules from astd to Event-B
This article presents a set of translation rules to generate Event-B machines from process-algebra based specification languages such as astd. Illustrated by a case study, it details the rules and the process of the translation. The ultimate goal of this systematic translation is to take advantage of Rodin, the Event-B platform to perform proofs, animation and model-checking over the translated...
متن کاملstrategies applied in translation of culture-specific items in translation of the i. r. i. constitution &the civil code (from persian into english(
این تحقیق به بررسی استراتژیهای بکاررفته توسط مترجمین مختلف در ترجمه واژه های فرهنگی خاص در ترجمه فارسی به انگلیسی قانون مدنی و قانون اساسی جمهوری اسلامی ایران میپردازد.این تحقیق بر اساس نظریه پیتر نیومارک صرت گرفته است. در این تحفیق واژه های فرهنگی خاص اقتباس شده و پس از مقایسه با متن مبدا به بررسی انها پرداخته می شود.در قسمت ضمائم تحقیق واژه نامه ای برای اشنایی خوانندگان با لغات و اصطلاحات حقو...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling and Analysis of Information Systems
سال: 2018
ISSN: 2313-5417,1818-1015
DOI: 10.18255/1818-1015-2018-6-623-636